<html><body bgcolor=white  onload='parent.fileFinishedLoading();'>
Loading globals.html info file... 
<script language="javascript">
var ag=parent.ag;
if(ag== undefined) { alert('The code is not yet loaded'); }
ag(0,'/*1*/sendmsg_wrapper3@0:26');
ag(1,'/*10*/__trusted_cast@0:19');
ag(2,'/*11*/__ptrof_nocheck@0:22');
ag(3,'/*12*/__trusted_cast@0:23');
ag(4,'/*13*/__ccured_has_empty_mangling@0:24');
ag(5,'/*14*/__trusted_cast@0:25');
ag(6,'/*2*/__ptrof_nocheck@0:11');
ag(7,'/*3*/__ccured_has_empty_mangling@0:12');
ag(8,'/*4*/__trusted_cast@0:13');
ag(9,'/*5*/__ptrof_nocheck@0:14');
ag(10,'/*6*/__ccured_has_empty_mangling@0:15');
ag(11,'/*7*/__trusted_cast@0:16');
ag(12,'/*8*/__ptrof_nocheck@0:17');
ag(13,'/*9*/__ccured_has_empty_mangling@0:18');
ag(14,'__ccuredInit@0:3');
ag(15,'__deepcopy_msghdr_to_compat@0:20');
ag(16,'abort_deepcopy@0:4');
ag(17,'foo@0:7');
ag(18,'sendmsg@0:6');

</script>Done</html>
